GNU TEXmacs
نویسندگان
چکیده
منابع مشابه
GNU TeXmacs : A free , structured , wysiwyg and technical text
There is a common belief that wysiwyg technical editors are not suited for editing structured texts and generating documents with a high typographical quality. In this paper, we analyze the reasons behind this belief. We next discuss the program GNU TEXmacs and some of its innovations in relation to the difficulties of structured, wysiwyg, technical text editing.
متن کاملA Document-Oriented Coq Plugin for TEXmacs
This article discusses the integration of the authoring of a mathematical document with the formalisation of the mathematics contained in that document. To achieve this we have started the development of a Coq plugin for the TEXmacs scientific editor, called tmEgg. TEXmacs allows the wysiwyg editing of mathematical documents, much in the style of LATEX. Our plugin allows to integrate into a TEX...
متن کاملTeXmacs interfaces to Maxima, MuPAD and REDUCE
GNU TEXmacs is a free wysiwyg word processor providing an excellent typesetting quality of texts and formulae. It can also be used as an interface to Computer Algebra Systems (CASs). In the present work, interfaces to three general-purpose CASs have been implemented. 1 TEXmacs GNU TEXmacs [1] is a free (GPL) word processor which • typesets texts and mathematical formulae with very high quality ...
متن کاملTEXmacs as Authoring Tool for Formal Developments
We present an authoring tool for publication and dissemination of formal theories certified by a proof assistant. We have used TeXmacs, a ”wysiwyg” editor for scientific documents which allows a connection with symbolic systems and we evaluate this tool on our formal developments certified using Coq.
متن کاملWprowadzenie do Gnu Emacsa
Utwór udoste֒pniany na licencji Creative Commons: uznanie autorstwa, na tych samych warunkach. Udziela sie֒ zezwolenia do kopiowania, rozpowszechniania i/lub modyfikacji treści utworu zgodnie z zasadami w/w licencji opublikowanej przez Creative Commons. Licencja wymaga podania oryginalnego autora utworu, a dystrybucja materia lów pochodnych może odbywać sie֒ tylko na tych samych warunkach (nie moż...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Communications in Computer Algebra
سال: 2013
ISSN: 1932-2240
DOI: 10.1145/2503697.2503708